2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Model Checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 2.13 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Категория:
Computer science
,
Algorithms
Размер книги: 1.88 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 3.22 Mb
